a && ~b && ~c || ~a && b &&~c || ~a && ~b && c